finite subadditivity

有限子可加性